The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging ...
Continue readingIn this book, a wide spectrum of fault diagnosis techniques have been developed. A major category of fault diagnosis techniques ...
Continue readingFault Diagnosis of Analog Integrated Circuits is a textbook for advanced undergraduate and graduate level students as well ...
Continue readingThis monograph presents a variety of techniques that can be used for designing robust fault diagnosis schemes for non-linear ...
Continue readingRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Continue readingContains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Continue reading